| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 505292 | ||
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 501638 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 504841 | ||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 504842 | ||
| Vorlesung/Übung | 508421 | Di 12:30-14:00 AH II (2350|111) (×12) Fr 10:30-12:00 AH III (2350|314.1) (×12) |